1

The structure of finite meadows

Année:
2015
Langue:
english
Fichier:
PDF, 242 KB
english, 2015
3

The free process algebra generated by , and

Année:
2011
Langue:
english
Fichier:
PDF, 269 KB
english, 2011
5

Typability in Partial Applicative Structures

Année:
2011
Langue:
english
Fichier:
PDF, 133 KB
english, 2011
6

Remarks on Thatte’s transformation of term rewriting systems

Année:
2004
Langue:
english
Fichier:
PDF, 276 KB
english, 2004
7

The initial meadows

Année:
2010
Langue:
english
Fichier:
PDF, 595 KB
english, 2010
9

Typability in Partial Applicative Structures

Année:
2011
Langue:
english
Fichier:
PDF, 583 KB
english, 2011
12

EQUATIONAL CONSTRUCTOR INDUCTION

Année:
1996
Fichier:
PDF, 536 KB
1996